Formal Verification

Even today , formal verification is mainly a research area .

甚至现在，形式验证主要地用于研究领域。

Research and Applications of Flow Pipe Approximation Methods in Formal Verification Technology

形式验证技术中流管道近似方法的研究与应用

Formal Verification of Hybrid Systems and Its Application on Chemical Process Control

逻辑控制器的形式验证及其应用

The Research of Formal Verification Application in Office Security

形式化验证在Office安全中的应用研究

Design and Formal Verification of the Hardware Platform Based Programmable Logic

基于可编程逻辑的硬件平台的设计与形式化验证

The current trends of formal verification are also discussed .

对形式验证的发展趋势也做了论述。

Hardware design 's formal verification based on temporal logic & model checking

基于时态逻辑的硬件设计形式化验证技术&模型检验

Control and Formal Verification of Hybrid System Using MLD Model

基于MLD模型的混杂系统控制及其形式验证研究

The Design and Formal Verification of ATS System Inner Communication Protocol

ATS系统内部通信协议的设计及形式化验证

A Formal Verification Method for System Safety

一种系统安全性的形式化验证方法

Lightweight Formal Verification Method of Mission Space Conceptual Model Research

任务空间概念模型轻量级形式化校核方法初探

Study on the Application of Formal Verification

形式验证技术的应用研究

There has two methods in formal verification : symbolic method and computational method .

形式化方法分为：符号方法和计算方法。

Research on Formal Verification Method for VLSI Design

VLSI设计中的形式验证方法研究

The Formal Verification of Safety in System V of Linux

Linux中SYSTEMV进程通信机制安全性形式化验证

Formal Verification Method of Simulation Scenario Based on High-level Petri Nets

基于高级Petri网的仿真剧情正规校核方法

Research on Formal Verification Methods of Security Protocols

网络协议安全性分析中的逻辑化方法研究

The Research of Formal Verification Method on Cryptography Protocol

关于密码协议形式化验证方法的研究

Study on the Formal Verification Methods of Combinatorial Circuit

组合电路的形式验证方法研究

Petri Net Method for the Formal Verification of Communication Protocols

通信协议形式验证中的Petri网方法

Methods for formal verification of large and complicated protocols

大型复杂协议的形式化分析方法研究

A formal verification method : model checking

一种形式化验证方法：模型检验

The Formal Verification of the Security of the Electronic Commerce Protocols

电子支付协议安全性的形式化分析

Attack on Security Protocol Based on Homomorphism and Its Formal Verification

基于同态的安全协议攻击及其形式化验证

A New Formal Verification Method Based on SVO

一种基于SVO逻辑的新形式化验证方法

Transaction Level Formal Verification and 8051 Verification Model

事务级形式验证技术及8051验证模型

This paper gives the study of polynomial symbolic algebraic theory in formal verification method .

本文研究基于多项式符号代数理论的形式化验证方法。

A secure , atomic electronic commerce protocol and its formal verification

一个安全、原子的电子商务协议及其形式化验证

Formal verification of security protocols with automated tools is a powerful technology .

形式化方法是安全协议验证的一个强有力的工具。

The formal verification based on logical inference is an important method to improve the software reliability .

基于逻辑推理的形式验证是提高软件可信程度的一种重要方法。